Cheaper Matrix Clocks

نویسنده

  • Frédéric Ruget
چکیده

abstract : Matrix clocks have nice properties that can be used in the context of distributed database protocols and fault tolerant protocols. Unfortunately, they are costly to implement, requiring storage and communication overhead of size O(n 2) for a system of n sites. They are often considered a non feasible approach when the number of sites is large. In this paper, we rstly describe an eecient incremental algorithm to compute the matrix clock, which achieves storage and communication overhead of size O(n) when the sites of the computation are \well syn-chronized". Secondly, we introduce the k-matrix clock: an approximation to the genuine matrix clock that can be computed with a storage and communication overhead of size O(kn). k-matrix clocks can be useful to implement fault-tolerant protocols for systems with crash failure semantics such that the maximum number of simultaneous faults is bounded by k ? 1. Abstract Matrix clocks have nice properties that can be used in the context of distributed database protocols and fault tolerant protocols. Unfortunately, they are costly to implement, requiring storage and communication overhead of size O(n 2) for a system of n sites. They are often considered a non feasible approach when the number of sites is large. In this paper, we rstly describe an eecient incremental algorithm to compute the matrix clock, which achieves storage and communication overhead of size O(n) when the sites of the computation are \well synchronized". Secondly, we introduce the k-matrix clock: an approximation to the genuine matrix clock that can be computed with a storage and communication overhead of size O(kn). k-matrix clocks can be useful to implement fault-tolerant protocols for systems with crash failure semantics such that the maximum number of simultaneous faults is bounded by k ? 1.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On reducing the complexity of matrix clocks

Matrix clocks are a generalization of the notion of vector clocks that allows the local representation of causal precedence to reach into an asynchronous distributed computation’s past with depth x, where x ≥ 1 is an integer. Maintaining matrix clocks correctly in a system of n nodes requires that every message be accompanied by O(n) numbers, which reflects an exponential dependency of the comp...

متن کامل

Cellular mechano-environment regulates the mammary circadian clock

Circadian clocks drive ∼24 h rhythms in tissue physiology. They rely on transcriptional/translational feedback loops driven by interacting networks of clock complexes. However, little is known about how cell-intrinsic circadian clocks sense and respond to their microenvironment. Here, we reveal that the breast epithelial clock is regulated by the mechano-chemical stiffness of the cellular micro...

متن کامل

A precise clock synchronization protocol

A distributed clock synchronization protocol is presented which achieves a very high precision without the need for very frequent resynchronizations. The protocol tolerates failures of the clocks: clocks may be too slow or too fast, exhibit omission failures and report inconsistent values. Synchronization takes place in synchronization rounds as in many other synchronization protocols. At the e...

متن کامل

Preserving Causality in a Scalable

We present a solution to guarantee scalable causal ordering through matrix clocks in Message Oriented Middleware (MOM). This solution is based on a decomposition of the MOM in domains of causality, i.e. small groups of servers interconnected by router servers. The causal order is locally maintained into groups, this allows the cost of matrix clocks maintenance to be kept linear, instead of quad...

متن کامل

Okapi: Causally Consistent Geo-Replication Made Faster, Cheaper and More Available

Okapi is a new causally consistent geo-replicated keyvalue store. Okapi leverages two key design choices to achieve high performance. First, it relies on hybrid logical/physical clocks to achieve low latency even in the presence of clock skew. Second, Okapi achieves higher resource efficiency and better availability, at the expense of a slight increase in update visibility latency. To this end,...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994